mini-os/x86-64 entry: defer RESTORE_REST until return
authorXu Zhang <xzhang@cs.uic.edu>
Thu, 11 Apr 2013 04:46:59 +0000 (23:46 -0500)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 22 Apr 2013 11:32:49 +0000 (12:32 +0100)
commit04823e2ad2a8902bf6d24dc1677c72ac9658b792
treedab09bd8af0835412a9efc0251bcd605d0860feb
parentae81a2fe4c70d3905fecb91112f0524c68e46902
mini-os/x86-64 entry: defer RESTORE_REST until return

No need to do a RESTORE_REST at this point because if we saw pending
events after we enabled event delivery, we have to do a SAVE_REST again.
Instead, we do a "lazy" RESTORE_REST, deferring it until actual return.
The offset of saved-on-stack rflags register is changed as well.

Signed-off-by: Xu Zhang <xzhang@cs.uic.edu>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
extras/mini-os/arch/x86/x86_64.S